// -*-C++-*-

#pragma once
#ifndef API_RTC_HEADER
#define API_RTC_HEADER

#include "kernel/rtc.hpp"

namespace os {
  inline RTC::timestamp_t boot_timestamp() noexcept
  {
    return RTC::boot_timestamp();
  }

  inline RTC::timestamp_t uptime() noexcept
  {
    return RTC::time_since_boot();
  }
}

#endif
